-
1 provable statement
Большой англо-русский и русско-английский словарь > provable statement
-
2 provable statement
Математика: доказуемое высказывание -
3 provable statement
доказуемое утверждение; доказуемое высказывание -
4 provable statement
доказуемое утверждение; доказуемое высказываниеThe New English-Russian Dictionary of Radio-electronics > provable statement
-
5 provable statement
-
6 provable
матем. доказуемый arithmetically provable formula ≈ арифметически доказуемая формула formally provable theorem ≈ лог. формально доказуемая теорема geometrically provable formula ≈ геометрически доказуемая формула - arithmetically provable - formally provable - geometrically provable - intuitionistically provable - provable definability - provable equation - provable formula - provable sentence - provable sequent - provable statement доказуемый provable доказуемыйБольшой англо-русский и русско-английский словарь > provable
-
7 statement
1) высказывание; утверждение2) предложение3) констатация4) описание5) положение6) постановка ( задачи)7) формулировка8) отчёт; бюллетень9) мат. оператор•- truth statementneither statement is true — ни то, ни другое утверждение неверно
-
8 statement
1) формулировка (напр. проблемы); постановка (напр. задачи)2) утверждение; высказывание3) оператор (предложение языка программирования, задающее функционально законченное действие); инструкция (в некоторых языках программирования, напр. в C++)4) заявление; сообщение•- action statement
- assert statement
- assignment statement
- atomic statement
- blank statement
- case statement
- categorical statement
- conditional statement
- comment statement
- compile-time statement
- compound statement
- conditional statement
- control statement
- data manipulation statement
- debug statement
- debugging statement
- declaration statement
- declarative statement
- delimiter statement
- dummy statement
- executable statement
- exception statement
- expect statement
- expression statement
- false statement
- fuzzy statement
- GOTO statement
- goto statement
- if statement
- imperative statement
- indexing statement
- invalid statement
- iterative statement
- job control statement
- labeled statement
- language statement
- logical statement
- looping statement
- mathematical statement
- negative statement
- nonexecutable statement
- null statement
- path statement
- positive statement
- problem statement
- program control statement
- protocol implementation conformance statement
- provable statement
- REM statement
- repeat-until statement
- repetitive statement
- satisfiable statement
- semantic statement
- send statement
- source statement
- specification statement
- transfer statement
- unconditional statement
- unlabeled statement
- unprovable statement
- while statement -
9 statement
1) формулировка (напр. проблемы); постановка (напр. задачи)2) утверждение; высказывание3) оператор (предложение языка программирования, задающее функционально законченное действие); инструкция (в некоторых языках программирования, напр. в C++)4) заявление; сообщение•- assert statement
- assignment statement
- atomic statement
- blank statement
- case statement
- categorical statement
- comment statement
- compile-time statement
- compound statement
- conditional statement
- control statement
- data manipulation statement
- debug statement
- debugging statement
- declaration statement
- declarative statement
- delimiter statement
- dummy statement
- exception statement
- executable statement
- expect statement
- expression statement
- false statement
- fuzzy statement
- GOTO statement
- goto statement
- if statement
- imperative statement
- indexing statement
- invalid statement
- iterative statement
- job control statement
- labeled statement
- language statement
- logical statement
- looping statement
- mathematical statement
- negative statement
- nonexecutable statement
- null statement
- path statement
- positive statement
- problem statement
- program control statement
- protocol implementation conformance statement
- provable statement
- REM statement
- repeat-until statement
- repetitive statement
- satisfiable statement
- semantic statement
- send statement
- source statement
- specification statement
- statement of problem
- transfer statement
- unconditional statement
- unlabeled statement
- unprovable statement
- while statementThe New English-Russian Dictionary of Radio-electronics > statement
-
10 доказуемое высказывание
Большой англо-русский и русско-английский словарь > доказуемое высказывание
См. также в других словарях:
provable — adjective Of a statement or hypothesis that can be proven. Ant: unprovable See Also: proof, provably, prove … Wiktionary
Proof sketch for Gödel's first incompleteness theorem — This article gives a sketch of a proof of Gödel s first incompleteness theorem. This theorem applies to any formal theory that satisfies certain technical hypotheses which are discussed as needed during the sketch. We will assume for the… … Wikipedia
Gödel's incompleteness theorems — In mathematical logic, Gödel s incompleteness theorems, proved by Kurt Gödel in 1931, are two theorems stating inherent limitations of all but the most trivial formal systems for arithmetic of mathematical interest. The theorems are of… … Wikipedia
Axiom of choice — This article is about the mathematical concept. For the band named after it, see Axiom of Choice (band). In mathematics, the axiom of choice, or AC, is an axiom of set theory stating that for every family of nonempty sets there exists a family of … Wikipedia
mathematics, foundations of — Scientific inquiry into the nature of mathematical theories and the scope of mathematical methods. It began with Euclid s Elements as an inquiry into the logical and philosophical basis of mathematics in essence, whether the axioms of any system… … Universalium
Undecidable problem — In computability theory and computational complexity theory, an undecidable problem is a decision problem for which it is impossible to construct an algorithm that leads to a yes or no answer the problem is not decidable.A decision problem is any … Wikipedia
Doxastic logic — is a modal logic concerned with reasoning about beliefs. The term doxastic derives from the ancient Greek δόξα, doxa, which means belief. Typically, a doxastic logic uses Bx to mean It is believed that x is the case, and the set denotes a set of… … Wikipedia
Turing's proof — First published in January 1937 with the title On Computable Numbers, With an Application to the Entscheidungsproblem , Turing s proof was the second proof of the assertion (Alonzo Church proof was first) that some questions are undecidable :… … Wikipedia
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium
Reverse mathematics — is a program in mathematical logic that seeks to determine which axioms are required to prove theorems of mathematics. The method can briefly be described as going backwards from the theorems to the axioms. This contrasts with the ordinary… … Wikipedia
Original proof of Gödel's completeness theorem — The proof of Gödel s completeness theorem given by Kurt Gödel in his doctoral dissertation of 1929 (and a rewritten version of the dissertation, published as an article in 1930) is not easy to read today; it uses concepts and formalism that are… … Wikipedia